pure inductive

join shbcf.ru